Names and Quantifiers: Bringing Them Together in Classical Logic

Abstract Putting individual constants and quantifiers into the same syntactic category within first-order language promises to have far-reaching consequences: a syntax of this kind can reveal potential any such language, allowing us realize that vast class noun phrases, including non-denoting terms, be accommodated in new as expressions suited being subjects sentences. In light this, formal system is an extension classical logic developed here, equipped with appropriate semantics. An ontological interpretation then also provided, several categories object notions existence distinguished. Last but not least, modal version logic, some interesting features, proposed.